Cassandra’s Prophecy fulfilled: a response to Khalaf

JAK2 V617F 10 Years Later: Dr. Dameshek’s Prophecy Fulfilled

For more than a century, clinicians have recognized myeloproliferative neoplasms (MPNs) as disorders that are characterized by expansion of different myeloid lineages, with important clinical sequelae. However, the seminal insight into these diseases came when Dr. William Dameshek wrote in an editorial in Blood that MPNs share specific clinical features including thrombosis, bleeding, and an in...

A Structural Approach to Prophecy Variables

Verifying the implementation of concurrent objects essentially proves the fine-grained implementation of object methods refines the corresponding abstract atomic operations. To simplify the specifications and proofs, we usually need auxiliary history and prophecy variables to record events occur historically and to predict the occurrence of certain events, respectively. Although the meaning of ...

Khalaf KHATATNEH Subject : Operators for complex modeling

Michel COTSAFTIS, Prof. LTME/ECE, Paris Referee Mohammad S. OBAIDAT, Prof. Monmouth University USA Referee Saleh OQEILI, Prof. Al-Balqa University Jordan, Referee Joël COLLOC, Prof. Le Havre University, Examiner Habib ABDULRAB, Prof. Rouen University, Guest Éric LAUGEROTTE A. Prof. Rouen University Guest Jean-Gabriel LUQUE, A. Prof. Gaspar Monge Institute, UMLV Guest Gérard DUCHAMP Prof. Galilé...

The Prophecy of Undo

Prophecy variables are auxiliary program variables whose values are defined in terms of current program state and future behavior. This paper explains their relevance to reasoning about systems with “undo” operations, and develops techniques that facilitate their use.

Prelude, prophecy, and promise.